Linear Formulation of Constraint Programming Models and Hybrid Solvers
نویسنده
چکیده
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization problems. We propose a way to provide a linear formulation of such a model and detail, in particular, the transformation of some global constraints. An automatic procedure for producing and updating formulations has been implemented and we illustrate it on combinatorial optimization problems.
منابع مشابه
Production Constraints Modelling: A Tactical Review Approach
A constraint is a limitation or a restriction that poses a threat to the performance and efficiency of a system. This paper presented a tactical review approach to production constraints modeling. It discussed the theory of constraints (TOC) as a thinking process and continuous improvement strategy to curtail constraints in other to constantly increase the performance and efficiency of a system...
متن کاملA Generic Model and Hybrid Algorithm for Hoist Scheduling Problems
This paper presents a robust approach to solve Hoist Scheduling Problems (HSPs) based on an integration of Constraint Logic Programming (CLP) and Mixed Integer Programming (MIP). By contrast with previous dedicated models and algorithms for solving classes of HSPs, we deene only one model and run diierent solvers. The robust approach is achieved by using a CLP formalism. We show that our models...
متن کاملA Logic-Based Hybrid Solver for Optimal Control of Hybrid Systems
Combinatorial optimization over continuous and integer variables was proposed recently as an useful tool for solving complex optimal control problems for linear hybrid dynamical systems formulated in discretetime. Current approaches are based on mixed-integer linear/quadratic programming (MIP), which provides the solution after solving a sequence of relaxed standard linear (or quadratic) progra...
متن کاملA Rule-based System for Model Transformation
We describe the constraint model transformation system Cadmium, focussing on its application. We discuss how we use it to reduce solver-independent models in the medium-level modelling language MiniZinc into equivalent models for finite domain constraint solvers and integer linear programming solvers.
متن کاملOn Sequential Optimality Conditions without Constraint Qualifications for Nonlinear Programming with Nonsmooth Convex Objective Functions
Sequential optimality conditions provide adequate theoretical tools to justify stopping criteria for nonlinear programming solvers. Here, nonsmooth approximate gradient projection and complementary approximate Karush-Kuhn-Tucker conditions are presented. These sequential optimality conditions are satisfied by local minimizers of optimization problems independently of the fulfillment of constrai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000